Introduction to VDM (McGraw-Hill International Series in Software Engineering)
by Mark Woodman,Benedict Heal
ISBN 13: 9780077074340
Format: Hardcover (264 pages) Publisher: McGraw-Hill Publishing Co. Published: 01 Mar 1993
Save for later